Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add StrongLaws and StrongTests #246

Merged
merged 1 commit into from
Mar 6, 2015
Merged

Add StrongLaws and StrongTests #246

merged 1 commit into from
Mar 6, 2015

Conversation

fthomas
Copy link
Member

@fthomas fthomas commented Mar 2, 2015

This adds StrongLaws and StrongTests. Since Scalaz didn't have any laws for Strong, I had the chance to invent my own. The laws demand that first and second distribute over dimap:

first (dimap fab f g) = dimap (first fab) (first f) (first g)

The laws use the Strong[Function1] instance and therefore require the dependency on std.

@non
Copy link
Contributor

non commented Mar 4, 2015

👍

1 similar comment
@ceedubs
Copy link
Contributor

ceedubs commented Mar 6, 2015

👍

ceedubs added a commit that referenced this pull request Mar 6, 2015
@ceedubs
Merge pull request #246 from fthomas/topic/strong-laws
2bf9a7e 
Add StrongLaws and StrongTests
@ceedubs ceedubs merged commit 2bf9a7e into typelevel:master Mar 6, 2015
@fthomas fthomas deleted the topic/strong-laws branch March 7, 2015 09:59
@lemastero lemastero mentioned this pull request Nov 25, 2018
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@fthomas @non @ceedubs